- система арифметики
- arithmetic system
Русско-английский словарь по вычислительной технике и программированию . 2013.
Русско-английский словарь по вычислительной технике и программированию . 2013.
ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ — система аксиом, записанная на языке узкого исчисления предикатов. Системы аксиом арифметики формальной, теории множеств Цермело Френкеля (см. Аксиоматическая теория множеств), типов теории примеры Э. с. а. В. Н. Гришин … Математическая энциклопедия
История арифметики — Арифметика. Роспись Пинтуриккьо. Апартаменты Борджиа. 1492 1495. Рим, Ватиканские дворцы … Википедия
КАТЕГОРИЧНАЯ СИСТЕМА АКСИОМ — всякая система аксиом 2 , для к рой все алгебраические системы сигнатуры 2, удовлетворяющие этим аксиомам, изоморфны. Из теоремы Мальцева Тарского об элементарном расширении следует, что модели категоричной системы е аксиом 1 го порядка имеют… … Математическая энциклопедия
ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… … Математическая энциклопедия
Троичная система счисления — Системы счисления в культуре Индо арабская система счисления Арабская Индийские Тамильская Бирманская Кхмерская Лаоская Монгольская Тайская Восточноазиатские системы счисления Китайская Японская Сучжоу Корейская Вьетнамская Счётные палочки… … Википедия
Двоичная система счисления — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей … Википедия
Двенадцатеричная система счисления — Системы счисления в культуре Индо арабская система счисления Арабская Индийские Тамильская Бирманская Кхмерская Лаоская Монгольская Тайская Восточноазиатские системы счисления Китайская Японская Сучжоу Корейская Вьетнамская Счётные палочки… … Википедия
Двенадцатиричная система счисления — Двенадцатеричная система счисления позиционная система счисления с целочисленным основанием 12. Используются цифры 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B. Существует другая система обозначения, где для недостающих цифр используют не A и B, а t от… … Википедия
Двенадцатичная система счисления — Двенадцатеричная система счисления позиционная система счисления с целочисленным основанием 12. Используются цифры 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B. Существует другая система обозначения, где для недостающих цифр используют не A и B, а t от… … Википедия
КОМПЛЕКСНАЯ СИСТЕМА ОБУЧЕНИЯ — (от лат. complexus связь, сочетание), способ построения содержания образования и организации процесса обучения на основе единого связующего стержня (напр., области детских интересов и склонностей, знакомства с определённым кругом жизненных… … Российская педагогическая энциклопедия
Ланкастерская система — или метода взаимного обучения по Ланкастеру (см.) почти совпадает с так назыв. Белль Л. системой (см.); в России была принята исключительно Л. система. Главное их различие состояло в том, что обучение в Л. школах не носило такого религиозного… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона